proof of the derivative of absolute value x